Speci cation of Graphic Conventions in MethodsA

نویسندگان

  • H. M. ter Hofstede
  • T. F. Verhoef
  • E. R. Nieuwland
  • G. M. Wijers
چکیده

The current generation of CASE tools mainly provides rigid and unnexible support for editing, storage, veriication and transformation of speciications. Information engineers have to adapt their way of working to CASE tools instead of vice versa. To enable a more exi-ble, method independent, support of information engineers, the concept of a CASE shell has emerged. Crucial for CASE shells is the speciication of interpretable method knowledge. A technique capable of specifying method knowledge is referred to as a meta-modelling technique. In this paper it is stressed that a meta-modelling technique should also be able to represent graphic conventions in methods. An existing meta-modelling technique is extended with constructs for the representation of graphic knowledge.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Static and Dynamic Speci cation Slicing

A speci cation slice is a projection of a formal speci cation, which is simpler and potentially more comprehensible than the original speci cation. A static speci cation slice contains speci cations that might restrict the value of a variable. A dynamic speci cation slice consists of speci cations that actually a ect the value of a variable along the sequence of operations performed. Dynamic sp...

متن کامل

Superposing UML class diagrams

There is a close connection between superposition-based design and aspect-orientation [6, 7, 10]. In [11] three steps were identi ed when composing modules describing overlapping concerns: matching units describing the same concepts, reconciliation of their possible di erences, and integration of the units. These problems, as well as many concerning distribution, have already been studied in th...

متن کامل

Agents Base) *isuali.ation An) Strategies

This paper describes a exible visualization architecture based on software agents, which enables the abstraction and reuse of rendering strategies. Using a reication of the rendering environment, the system is able to add new rendering strategies (such as distributed rendering or progressive rendering) to an existing pipeline, without any modication of the other components (controls componen...

متن کامل

Spectur | A Speci cation Language for the Programmer

Spectur (Speci cation language after Turing) has been designed as a language for formal speci cation. The goals of the language include: ease of use by a speci er to write a software system speci cation from an informal description; ease of use by an implementor to build a program from a speci cation; ease of understanding by a user as documentation; ease of use by a mathematician to prove prog...

متن کامل

Formal Requirements Speci cation for Command and Control Systems

This paper presents an approach to formal requirements speci cation of embedded systems. The speci c demands of a speci cation for command and control systems are addressed. The proposed method allows various views of a system, like conventional methods. The added value lies in the fact that the relationship between the views is speci ed formally, and consistency between views can be analyzed f...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1992